A Decision Algorithm for Linear Isomorphism of Types with Complexity Cn(log2(n))

It is known that ordinary isomorphisms (associativity and commutativityof "times", isomorphisms for "times" unit and currying)provide a complete axiomatisation for linear isomorphism of types.One of the reasons to consider linear isomorphism of types instead ofordinary isomorphism was that better complexity could be expected.Meanwhile, no upper bounds reasonably close to linear were obtained.We describe an algorithm deciding if two types are linearly isomorphicwith complexity Cn(log2(n))

Reorganization of retinotopic maps after occipital lobe infarction

Published in final edited form as: J Cogn Neurosci. 2014 June ; 26(6): 1266–1282. doi:10.1162/jocn_a_00538.We studied patient JS, who had a right occipital infarct that encroached on visual areas V1, V2v, and VP. When tested psychophysically, he was very impaired at detecting the direction of motion in random dot displays where a variable proportion of dots moving in one direction (signal) were embedded in masking motion noise (noise dots). The impairment on this motion coherence task was especially marked when the display was presented to the upper left (affected) visual quadrant, contralateral to his lesion. However, with extensive training, by 11 months his threshold fell to the level of healthy participants. Training on the motion coherence task generalized to another motion task, the motion discontinuity task, on which he had to detect the presence of an edge that was defined by the difference in the direction of the coherently moving dots (signal) within the display. He was much better at this task at 8 than 3 months, and this improvement was associated with an increase in the activation of the human MT complex (hMT^+) and in the kinetic occipital region as shown by repeated fMRI scans. We also used fMRI to perform retinotopic mapping at 3, 8, and 11 months after the infarct. We quantified the retinotopy and areal shifts by measuring the distances between the center of mass of functionally defined areas, computed in spherical surface-based coordinates. The functionally defined retinotopic areas V1, V2v, V2d, and VP were initially smaller in the lesioned right hemisphere, but they increased in size between 3 and 11 months. This change was not found in the normal, left hemisphere of the patient or in either hemispheres of the healthy control participants. We were interested in whether practice on the motion coherence task promoted the changes in the retinotopic maps. We compared the results for patient JS with those from another patient (PF) who had a comparable lesion but had not been given such practice. We found similar changes in the maps in the lesioned hemisphere of PF. However, PF was only scanned at 3 and 7 months, and the biggest shifts in patient JS were found between 8 and 11 months. Thus, it is important to carry out a prospective study with a trained and untrained group so as to determine whether the patterns of reorganization that we have observed can be further promoted by training.This work was supported by NIH grant R01NS064100 to L. M. V. Lucia M. Vaina dedicates this article to Charlie Gross, who has been a long-time collaborator and friend. I met him at the INS meeting in Beaune (France), and since then we often discussed the relationship between several aspects of high-level visual processing described in his work in monkeys physiology and my work in neuropsychology. In particular, his pioneering study of biological motion in monkeys' superior temporal lobe has influenced my own work on biological motion and has led us to coauthor a paper on this topic. Working with Charlie was a uniquely enjoyable experience. Alan Cowey and I often spoke fondly about Charlie, a dear friend and close colleague to us both, whose work, exquisite sense of humor, and unbound zest of living we both deeply admired and loved. (R01NS064100 - NIH)Accepted manuscrip

Attribute Computations in the DPoPb Graph Transformation Engine

One of the challenges of attributed graph rewriting systems concerns the implementation of attribute computations. Most of the existing systems adopt the standard algebraic approach where graphs are attributed using sigma-algebras. However, for the sake of efficiency considerations and convenient uses, these systems do not generally implement the whole attribute computations but rely on programs written in a host language. In previous works we introduced the Double Pushout Pullback (DPoPb) framework which integrates attributed graph rewriting and computation on attributes in a unified categorical approach. This paper discusses the DPoPb’s theoretical and practical advantages when using inductive types and lambda-calculus. We also present an implementation of the DPoPb system in the Haskell language which thoroughly covers the semantics of this graph rewriting system

Typed lambda-terms in categorical attributed graph transformation

This paper deals with model transformation based on attributed graph rewriting. Our contribution investigates a single pushout approach for applying the rewrite rules. The computation of graph attributes is obtained through the use of typed lambda-calculus with inductive types. In this paper we present solutions to cope with single pushout construction for the graph structure and the computations functions. As this rewrite system uses inductive types, the expressiveness of attribute computations is facilitated and appears more efficient than the one based on Sigma-algebras. Some examples showing the interest of our computation approach are described in this paper

Remarks on isomorphisms of simple inductive types

International audienceWe study isomorphisms of types in the system of simply-typed λ-calculus with inductive types and recursion operators. It is shown that in some cases (multiproducts, copies of types), it is possible to add new reductions in such a way that strong normalisation and confluence of the calculus are preserved, and the isomorphisms may be regarded as intensional w.r.t. a stronger equality relation

Evolution and connectivity in the world-wide migration system of the mallard: Inferences from mitochondrial DNA

<p>Abstract</p> <p>Background</p> <p>Main waterfowl migration systems are well understood through ringing activities. However, in mallards (<it>Anas platyrhynchos</it>) ringing studies suggest deviations from general migratory trends and traditions in waterfowl. Furthermore, surprisingly little is known about the population genetic structure of mallards, and studying it may yield insight into the spread of diseases such as Avian Influenza, and in management and conservation of wetlands. The study of evolution of genetic diversity and subsequent partitioning thereof during the last glaciation adds to ongoing discussions on the general evolution of waterfowl populations and flyway evolution. Hypothesised mallard flyways are tested explicitly by analysing mitochondrial mallard DNA from the whole northern hemisphere.</p> <p>Results</p> <p>Phylogenetic analyses confirm two mitochondrial mallard clades. Genetic differentiation within Eurasia and North-America is low, on a continental scale, but large differences occur between these two land masses (<it>F</it>_ST= 0.51). Half the genetic variance lies within sampling locations, and a negligible portion between currently recognised waterfowl flyways, within Eurasia and North-America. Analysis of molecular variance (AMOVA) at continent scale, incorporating sampling localities as smallest units, also shows the absence of population structure on the flyway level. Finally, demographic modelling by coalescence simulation proposes a split between Eurasia and North-America 43,000 to 74,000 years ago and strong population growth (~100fold) since then and little migration (not statistically different from zero).</p> <p>Conclusions</p> <p>Based on this first complete assessment of the mallard's world-wide population genetic structure we confirm that no more than two mtDNA clades exist. Clade A is characteristic for Eurasia, and clade B for North-America although some representatives of clade A are also found in North-America. We explain this pattern by evaluating competing hypotheses and conclude that a complex mix of historical, recent and anthropogenic factors shaped the current mallard populations. We refute population classification based on flyways proposed by ornithologists and managers, because they seem to have little biological meaning. Our results have implications for wetland management and conservation, with special regard to the release of farmed mallards for hunting, as well as for the possible transmission of Avian Influenza by mallards due to migration.</p

Ballets

De cada obra s'ha digitalitzat un programa sencer. De la resta s'han digitalitzat les parts que són diferents.Directors: Viktor Shirokov i Viktor FiedotovEmpresa: Juan A. PamiasSombras / Minkus ; Gayaneh / Kachaturian ; La Flor de piedra / Prokofiev ; El Corsario / Drigo ; La Bruja / Musorgsky ; Coppelia / Delibes ; Taras Bulba / Soloviev-Seddy ; Cascanueces / Tchaikowsk

Aneuploidy and Confined Chromosomal Mosaicism in the Developing Human Brain

BACKGROUND: Understanding the mechanisms underlying generation of neuronal variability and complexity remains the central challenge for neuroscience. Structural variation in the neuronal genome is likely to be one important mechanism for neuronal diversity and brain diseases. Large-scale genomic variations due to loss or gain of whole chromosomes (aneuploidy) have been described in cells of the normal and diseased human brain, which are generated from neural stem cells during intrauterine period of life. However, the incidence of aneuploidy in the developing human brain and its impact on the brain development and function are obscure. METHODOLOGY/PRINCIPAL FINDINGS: To address genomic variation during development we surveyed aneuploidy/polyploidy in the human fetal tissues by advanced molecular-cytogenetic techniques at the single-cell level. Here we show that the human developing brain has mosaic nature, being composed of euploid and aneuploid neural cells. Studying over 600,000 neural cells, we have determined the average aneuploidy frequency as 1.25-1.45% per chromosome, with the overall percentage of aneuploidy tending to approach 30-35%. Furthermore, we found that mosaic aneuploidy can be exclusively confined to the brain. CONCLUSIONS/SIGNIFICANCE: Our data indicates aneuploidization to be an additional pathological mechanism for neuronal genome diversification. These findings highlight the involvement of aneuploidy in the human brain development and suggest an unexpected link between developmental chromosomal instability, intercellural/intertissular genome diversity and human brain diseases

The ALICE experiment at the CERN LHC

ALICE (A Large Ion Collider Experiment) is a general-purpose, heavy-ion detector at the CERN LHC which focuses on QCD, the strong-interaction sector of the Standard Model. It is designed to address the physics of strongly interacting matter and the quark-gluon plasma at extreme values of energy density and temperature in nucleus-nucleus collisions. Besides running with Pb ions, the physics programme includes collisions with lighter ions, lower energy running and dedicated proton-nucleus runs. ALICE will also take data with proton beams at the top LHC energy to collect reference data for the heavy-ion programme and to address several QCD topics for which ALICE is complementary to the other LHC detectors. The ALICE detector has been built by a collaboration including currently over 1000 physicists and engineers from 105 Institutes in 30 countries. Its overall dimensions are 161626 m3 with a total weight of approximately 10 000 t. The experiment consists of 18 different detector systems each with its own specific technology choice and design constraints, driven both by the physics requirements and the experimental conditions expected at LHC. The most stringent design constraint is to cope with the extreme particle multiplicity anticipated in central Pb-Pb collisions. The different subsystems were optimized to provide high-momentum resolution as well as excellent Particle Identification (PID) over a broad range in momentum, up to the highest multiplicities predicted for LHC. This will allow for comprehensive studies of hadrons, electrons, muons, and photons produced in the collision of heavy nuclei. Most detector systems are scheduled to be installed and ready for data taking by mid-2008 when the LHC is scheduled to start operation, with the exception of parts of the Photon Spectrometer (PHOS), Transition Radiation Detector (TRD) and Electro Magnetic Calorimeter (EMCal). These detectors will be completed for the high-luminosity ion run expected in 2010. This paper describes in detail the detector components as installed for the first data taking in the summer of 2008